Nuprl Definition : d-single-frame 11,40
@i: only L affects x : t(j)
== if eqof(IdDeq)(j,i) then only members of L affect x :t else  fi  
latex

Definitions, only members of L affect x :t, IdDeq, eqof(d), if b then t else f fi 
FDL editor aliasesd-single-frame

origin